perm filename PROB3[206,DBL] blob
sn#002350 filedate 1972-10-05 generic text, type T, neo UTF8
00100 (DE INTER (U V)
00200 (COND ((NULL U) NIL)
00300 ((MEMBER (CAR U) V) (CONS (CAR U)
00400 (INTER (CDR U) V)))
00500 (T (INTER (CDR U) V))))
00600 (DE SETDIF (U V)
00700 (COND ((NULL U) NIL)
00800 ((MEMBER (CAR U) V)
00900 (SETDIF (CDR U) V))
01000 (T (CONS (CAR U) (SETDIF (CDR U) V)))))
01100 (DE UNION (U V)
01200 (COND ((NULL U) V)
01300 ((MEMBER (CAR U) V) (UNION (CDR U) V))
01400 (T (CONS (CAR U) (UNION (CDR U) V)))))
01500 (DE MER (X LIST)
01600 (COND ((LESSP X (CAR LIST)) (CONS X LIST))
01700 (T (CONS (CAR LIST) (MER X (CDR LIST))))))
01800 (DE SORT (LIST)
01900 (COND ((NULL (CDR LIST)) LIST)
02000 (T (MER (CAR LIST) (SORT (CDR LIST))))))
02100 (DE PRINTI (I E)
02200 (COND ((EQUAL I 0) (PRIN1 E)
02250 (TERPRI))
02275
02300 ((TYO 9) (PRINTI (SUB1 I) E))))
02400 (DE SPEC (I L) (COND
02500 ((NULL L) NIL)
02600 ((ATOM (CAR L)) (PRINTI I (CAR L))
02700 (SPEC I (CDR L))) (T
02800 (SPEC (ADD1 I) (CAR L)) (SPEC I (CDR L)))))
02900 (DE SP (L) (SPEC 0 L))